| 1. | For profound , influential , and lasting contributions to the design of practical high - level programming systems , notably through his work on fortran , and for seminal publication of formal procedures for the specification of programming languages 因为他对实际的高级编程系统的设计、尤其是通过fortran上的工作所做出的影响深远的贡献,和关于编程语言精确描述的形式化过程的开创性论文。 |